Adrián Riesco: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

FlinkCheck: Property-Based Testing for Apache Flink

Espinosa, Cristina Valentina, Martin-Martin, Enrique, Riesco, Adrian, Rodriguez-Hortala, Juan

Journal:

Year:

2019

Language:

english

File:

PDF, 1.47 MB

english, 2019

2

A core Erlang semantics for declarative debugging

Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 839 KB

english, 2019

3

Declarative debugging of concurrent Erlang programs

Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 840 KB

english, 2018

4

Soft Set Theory for Decision Making in Computational Biology under Incomplete Information

Santos-Buitrago, Beatriz, Riesco, Adrian, Knapp, Merrill, Alcantud, Jose Carlos R., Santos-Garcia, Gustavo, Talcott, Carolyn

Journal:

Year:

2019

File:

PDF, 10 KB

2019

5

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

Riesco, Adrián, Ogata, Kazuhiro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2018

Language:

english

File:

PDF, 6.91 MB

english, 2018

6

A core Erlang semantics for declarative debugging

Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 839 KB

2019

7

A Language-Independent Technique for Assessing Tweet Success: An Experience Report

Martin-Martin, Enrique, Riesco, Adrian, Rodriguez, Manuel

Journal:

Year:

2018

Language:

english

File:

PDF, 11 KB

english, 2018

8

A Natural Implementation of Plural Semantics in Maude

Adrián Riesco, Juan Rodríguez-Hortalá

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 194 KB

english, 2010

9

[IEEE 2018 25th Asia-Pacific Software Engineering Conference (APSEC) - Nara, Japan (2018.12.4-2018.12.7)] 2018 25th Asia-Pacific Software Engineering Conference (APSEC) - Specification and Verification of Invariant Properties of Transition Systems

Gaina, Daniel, Tutu, Ionut, Riesco, Adrian

Year:

2018

Language:

english

File:

PDF, 166 KB

english, 2018

10

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Adrián Riesco, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

11

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications

Isabel Pita, Adrián Riesco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 902 KB

english, 2012

12

Influencia del azulado (mancha azul) en la densidad y estabilidad dimensional de la madera de Pinus sylvestris

Rey-Prieto, Adrián, Riesco-Muñoz, Guillermo

Journal:

Maderas Ciencia y tecnología

Year:

2012

File:

PDF, 559 KB

2012

13

A zoom-declarative debugger for sequential Erlang programs

Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

14

Slicing from formal semantics: Chisel—a tool for generic program slicing

Asăvoae, Irina Măriuca, Asăvoae, Mihail, Riesco, Adrián

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 1.38 MB

english, 2018

15

Declarative debugging of rewriting logic specifications

Riesco, Adrián, Verdejo, Alberto, Martí-Oliet, Narciso, Caballero, Rafael

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 1.59 MB

english, 2012

16

A Distributed Implementation of Mobile Maude

Francisco Durán, Adrián Riesco, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

17

FlinkCheck: Property-Based Testing for Apache Flink

Espinosa, Cristina Valentina, Martin-Martin, Enrique, Riesco, Adrian, Rodriguez-Hortala, Juan

Journal:

Year:

2019

File:

PDF, 1.47 MB

2019

18

A Maude environment for CafeOBJ

Riesco, Adrián, Ogata, Kazuhiro, Futatsugi, Kokichi

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 677 KB

english, 2017

19

Singular and plural functions for functional logic programming

RIESCO, ADRIÁN, RODRÍGUEZ-HORTALÁ, JUAN

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 798 KB

english, 2014

20

Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search

Riesco, Adrián, Santos-Buitrago, Beatriz, De Las Rivas, Javier, Knapp, Merrill, Santos-García, Gustavo, Talcott, Carolyn

Journal:

BioMed Research International

Year:

2017

Language:

english

File:

PDF, 1.76 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски